felix.git/test/golden/proofdefinefunction/generating tasks.golden, branch hotgUnnamed repository; edit this file 'description' to name the repository.
https://git.adelon.net/felix.git/atom?h=hotg2026-08-03T19:00:28+00:00Remove obsolete verification machinery2026-08-03T19:00:28+00:00adelon22380201+adelon@users.noreply.github.com2026-08-03T19:00:28+00:00urn:sha1:5cdde1fd0f976863ae4b5831ab389048138b06a4Validate relation parameter arity2026-07-27T16:19:29+00:00adelon22380201+adelon@users.noreply.github.com2026-07-27T15:32:47+00:00urn:sha1:3b573d94d4c5e82802745daa7c7d679727155e7dUse shorter `_local_N` marker in TPTP output2026-02-24T15:15:26+00:00adelon22380201+adelon@users.noreply.github.com2026-02-24T15:15:26+00:00urn:sha1:330fa14bf6f075342cbe8e515d67740fd1edcf00Update golden tests2026-02-13T23:54:25+00:00adelon22380201+adelon@users.noreply.github.com2026-02-13T23:54:25+00:00urn:sha1:1122576d9283d499915ec4d0a87ee8cf03e5339eUse tries for patterns, skip trivial hypotheses2026-02-06T01:26:17+00:00adelon22380201+adelon@users.noreply.github.com2026-02-06T01:26:17+00:00urn:sha1:8a6e8d455048b2510e25af943785241752c29b9cCache encoding of hypotheses2026-02-05T20:03:20+00:00adelon22380201+adelon@users.noreply.github.com2026-02-05T20:03:20+00:00urn:sha1:54ae3e3d02af5e26e1f92f2a3766ac85e8116294Remove `lookupLexicalItem`, attach info in AST instead2026-02-05T18:50:34+00:00adelon22380201+adelon@users.noreply.github.com2026-02-05T18:50:34+00:00urn:sha1:b25ec4c14cc4c4cfc0dd410a4b8cd74d411ad06cRemove `lookupOp` and add marker to AST instead2026-02-05T17:01:54+00:00adelon22380201+adelon@users.noreply.github.com2026-02-05T17:01:54+00:00urn:sha1:6d9c4d9db7adcee4f7344e197163d7ae146fe72fAdd location info to implicit QED step2025-12-16T16:10:31+00:00adelon22380201+adelon@users.noreply.github.com2025-12-16T16:10:31+00:00urn:sha1:ed546f3ce3d7c4e5840387beb2d89c8da05378eaFix column location2025-12-14T16:54:05+00:00adelon22380201+adelon@users.noreply.github.com2025-12-14T16:54:05+00:00urn:sha1:8e7d2c94d8449b8512fd6257534b4c593319b4ae